Optimal. Leaf size=142 \[ \frac{2 (4 A-3 B) \tan (e+f x)}{35 a c^4 f}+\frac{(4 A-3 B) \sec (e+f x)}{35 a f \left (c^4-c^4 \sin (e+f x)\right )}+\frac{(4 A-3 B) \sec (e+f x)}{35 a f \left (c^2-c^2 \sin (e+f x)\right )^2}+\frac{(A+B) \sec (e+f x)}{7 a c f (c-c \sin (e+f x))^3} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.306909, antiderivative size = 142, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 5, integrand size = 36, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.139, Rules used = {2967, 2859, 2672, 3767, 8} \[ \frac{2 (4 A-3 B) \tan (e+f x)}{35 a c^4 f}+\frac{(4 A-3 B) \sec (e+f x)}{35 a f \left (c^4-c^4 \sin (e+f x)\right )}+\frac{(4 A-3 B) \sec (e+f x)}{35 a f \left (c^2-c^2 \sin (e+f x)\right )^2}+\frac{(A+B) \sec (e+f x)}{7 a c f (c-c \sin (e+f x))^3} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2967
Rule 2859
Rule 2672
Rule 3767
Rule 8
Rubi steps
\begin{align*} \int \frac{A+B \sin (e+f x)}{(a+a \sin (e+f x)) (c-c \sin (e+f x))^4} \, dx &=\frac{\int \frac{\sec ^2(e+f x) (A+B \sin (e+f x))}{(c-c \sin (e+f x))^3} \, dx}{a c}\\ &=\frac{(A+B) \sec (e+f x)}{7 a c f (c-c \sin (e+f x))^3}+\frac{(4 A-3 B) \int \frac{\sec ^2(e+f x)}{(c-c \sin (e+f x))^2} \, dx}{7 a c^2}\\ &=\frac{(A+B) \sec (e+f x)}{7 a c f (c-c \sin (e+f x))^3}+\frac{(4 A-3 B) \sec (e+f x)}{35 a f \left (c^2-c^2 \sin (e+f x)\right )^2}+\frac{(3 (4 A-3 B)) \int \frac{\sec ^2(e+f x)}{c-c \sin (e+f x)} \, dx}{35 a c^3}\\ &=\frac{(A+B) \sec (e+f x)}{7 a c f (c-c \sin (e+f x))^3}+\frac{(4 A-3 B) \sec (e+f x)}{35 a f \left (c^2-c^2 \sin (e+f x)\right )^2}+\frac{(4 A-3 B) \sec (e+f x)}{35 a f \left (c^4-c^4 \sin (e+f x)\right )}+\frac{(2 (4 A-3 B)) \int \sec ^2(e+f x) \, dx}{35 a c^4}\\ &=\frac{(A+B) \sec (e+f x)}{7 a c f (c-c \sin (e+f x))^3}+\frac{(4 A-3 B) \sec (e+f x)}{35 a f \left (c^2-c^2 \sin (e+f x)\right )^2}+\frac{(4 A-3 B) \sec (e+f x)}{35 a f \left (c^4-c^4 \sin (e+f x)\right )}-\frac{(2 (4 A-3 B)) \operatorname{Subst}(\int 1 \, dx,x,-\tan (e+f x))}{35 a c^4 f}\\ &=\frac{(A+B) \sec (e+f x)}{7 a c f (c-c \sin (e+f x))^3}+\frac{(4 A-3 B) \sec (e+f x)}{35 a f \left (c^2-c^2 \sin (e+f x)\right )^2}+\frac{(4 A-3 B) \sec (e+f x)}{35 a f \left (c^4-c^4 \sin (e+f x)\right )}+\frac{2 (4 A-3 B) \tan (e+f x)}{35 a c^4 f}\\ \end{align*}
Mathematica [A] time = 1.09769, size = 240, normalized size = 1.69 \[ \frac{\left (\cos \left (\frac{1}{2} (e+f x)\right )-\sin \left (\frac{1}{2} (e+f x)\right )\right ) \left (\sin \left (\frac{1}{2} (e+f x)\right )+\cos \left (\frac{1}{2} (e+f x)\right )\right ) ((182 B-406 A) \cos (e+f x)+224 (4 A-3 B) \cos (2 (e+f x))+896 A \sin (e+f x)+406 A \sin (2 (e+f x))-384 A \sin (3 (e+f x))-29 A \sin (4 (e+f x))+174 A \cos (3 (e+f x))-64 A \cos (4 (e+f x))-672 B \sin (e+f x)-182 B \sin (2 (e+f x))+288 B \sin (3 (e+f x))+13 B \sin (4 (e+f x))-78 B \cos (3 (e+f x))+48 B \cos (4 (e+f x))+560 B)}{2240 a c^4 f (\sin (e+f x)-1)^4 (\sin (e+f x)+1)} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.087, size = 189, normalized size = 1.3 \begin{align*} 2\,{\frac{1}{af{c}^{4}} \left ( -1/7\,{\frac{4\,A+4\,B}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) -1 \right ) ^{7}}}-1/6\,{\frac{12\,A+12\,B}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) -1 \right ) ^{6}}}-1/4\,{\frac{18\,A+14\,B}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) -1 \right ) ^{4}}}-1/5\,{\frac{19\,A+17\,B}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) -1 \right ) ^{5}}}-{\frac{1}{\tan \left ( 1/2\,fx+e/2 \right ) -1} \left ({\frac{15\,A}{16}}+B/16 \right ) }-1/2\,{\frac{1}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) -1 \right ) ^{2}} \left ({\frac{17\,A}{4}}+7/4\,B \right ) }-1/3\,{\frac{1}{ \left ( \tan \left ( 1/2\,fx+e/2 \right ) -1 \right ) ^{3}} \left ({\frac{45\,A}{4}}+{\frac{27\,B}{4}} \right ) }-{\frac{A/16-B/16}{\tan \left ( 1/2\,fx+e/2 \right ) +1}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.07238, size = 836, normalized size = 5.89 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.30648, size = 350, normalized size = 2.46 \begin{align*} \frac{2 \,{\left (4 \, A - 3 \, B\right )} \cos \left (f x + e\right )^{4} - 9 \,{\left (4 \, A - 3 \, B\right )} \cos \left (f x + e\right )^{2} +{\left (6 \,{\left (4 \, A - 3 \, B\right )} \cos \left (f x + e\right )^{2} - 20 \, A + 15 \, B\right )} \sin \left (f x + e\right ) + 15 \, A - 20 \, B}{35 \,{\left (3 \, a c^{4} f \cos \left (f x + e\right )^{3} - 4 \, a c^{4} f \cos \left (f x + e\right ) -{\left (a c^{4} f \cos \left (f x + e\right )^{3} - 4 \, a c^{4} f \cos \left (f x + e\right )\right )} \sin \left (f x + e\right )\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.19567, size = 320, normalized size = 2.25 \begin{align*} -\frac{\frac{35 \,{\left (A - B\right )}}{a c^{4}{\left (\tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right ) + 1\right )}} + \frac{525 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{6} + 35 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{6} - 1960 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{5} + 280 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{5} + 4025 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{4} - 665 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{4} - 4480 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{3} + 1120 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{3} + 3143 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{2} - 791 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right )^{2} - 1176 \, A \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right ) + 392 \, B \tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right ) + 243 \, A - 51 \, B}{a c^{4}{\left (\tan \left (\frac{1}{2} \, f x + \frac{1}{2} \, e\right ) - 1\right )}^{7}}}{280 \, f} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]